1. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
